The Binary Lambda Calculus (BLC) is a minimal, pure functional programming language invented by John Tromp in 2004 [1] based on a binary encoding of the untyped lambda calculus in De Bruijn index notation.
Atlas Cove Atlas48
tromp
/ Binary_Lambda_Calculus.md
Last active
December 25, 2025 23:29
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/usr/bin/awk -f | |
| # gp.awk: generates a svg rendering of a textual pallete list | |
| BEGIN { | |
| if(!h) h=1080 | |
| if(!w) w=1920 | |
| c=0 | |
| print "<?xml version=\"1.0\" encoding=\"utf-8\" ?>" | |
| printf("<svg xmlns=\"http://www.w3.org/2000/svg\" version=\"1.1\" height=\"%d\" width=\"%d\">\n", h, w) | |
| } | |
| { |
Atlas48
/ template-ex.json
Last active
August 29, 2015 14:04
DnD 3.5e character sheet data encoding template
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| { | |
| name:{ | |
| charname:"Zutash Zutashin", | |
| playername:"Jan Serps" | |
| }, | |
| details:{ | |
| clarrace:{ | |
| class:{ | |
| primary:"bard", | |
| secondary:"fighter" |