User contributions for Tromp
Jump to navigation
Jump to search
31 October 2025
- 20:3220:32, 31 October 2025 diff hist +235 N User:Tromp create brief profile
2 October 2024
- 15:1015:10, 2 October 2024 diff hist +338 N Talk:Dependently Typed Binary Lambda Calculus mention alternative implementation of CoC in blc. current
27 July 2024
- 11:0411:04, 27 July 2024 diff hist −7 Binary lambda calculus fix correspondence between bits and booleans
22 July 2024
- 09:5709:57, 22 July 2024 diff hist +49 Combinatory logic add minimal basis
24 February 2024
- 10:1610:16, 24 February 2024 diff hist +3 m Talk:Extended Brainfuck No edit summary current
- 10:1510:15, 24 February 2024 diff hist +267 Talk:Extended Brainfuck suggest simplification
26 March 2019
- 11:2611:26, 26 March 2019 diff hist +106 Brainfuck implementations add interpreter written in lambda calculus
5 December 2014
- 18:2818:28, 5 December 2014 diff hist +17 Hello world program in esoteric languages (nonalphabetic and A) →Binary lambda calculus
- 18:2618:26, 5 December 2014 diff hist +105 Truth-machine No edit summary
- 17:5017:50, 5 December 2014 diff hist 0 m Hello world program in esoteric languages (nonalphabetic and A) No edit summary
- 17:4817:48, 5 December 2014 diff hist +46 Hello world program in esoteric languages (nonalphabetic and A) No edit summary
6 April 2013
- 21:5221:52, 6 April 2013 diff hist 0 Brainfuck →See also
2 April 2013
- 01:1201:12, 2 April 2013 diff hist +18 Binary lambda calculus add date of earliest implementation, available at www.cwi.nl/~tromp/cl/Lambda.lhs
- 00:4200:42, 2 April 2013 diff hist +81 Binary lambda calculus No edit summary
29 September 2011
- 22:3422:34, 29 September 2011 diff hist +6 Brainfuck →See also
28 September 2011
- 20:2420:24, 28 September 2011 diff hist +12 m Brainfuck →See also
23 March 2009
- 13:1313:13, 23 March 2009 diff hist 0 m Talk:Brainfuck →Extensions -- '!' is convenient, but not needed
- 00:2300:23, 23 March 2009 diff hist +371 m Talk:Brainfuck →Extensions -- '!' is convenient, but not needed
18 March 2009
- 19:5319:53, 18 March 2009 diff hist +139 Binary lambda calculus add link to Wikipedia version