Commit graph

Select branches

Hide pull requests

debruijn-levels

develop

main

typed-rkt

Mono Color

• cc24f42e91 Minor develop Yiyun Liu 2025-05-30 16:43:54 -04:00
• 9dc599396a Tighten up the signature Yiyun Liu 2025-05-30 16:41:50 -04:00
• c6528de647 Remove levels from the universe Yiyun Liu 2025-05-13 19:13:44 -04:00
• f5fe22c419 Minor Yiyun Liu 2025-05-13 17:08:48 -04:00
• 193be1168e Add stub for the typechecker Yiyun Liu 2025-05-13 16:43:00 -04:00
• 1d04feebec Add missing case for lambdas Yiyun Liu 2025-05-13 15:44:17 -04:00
• ff0e48af95 Port Coquand's algorithm to the semantic domain Yiyun Liu 2025-05-13 15:38:03 -04:00
• 31e29cf18e Add more exports Yiyun Liu 2025-05-12 16:57:44 -04:00
• f418c383f3 Add pi types main Yiyun Liu 2025-05-12 16:28:54 -04:00
• da9ea4ed93 Add universes Yiyun Liu 2025-05-12 12:07:37 -04:00
• 755119316b Add back beta-eta equality Yiyun Liu 2025-05-12 11:24:56 -04:00
• aa233cc86b Minor Yiyun Liu 2025-05-12 01:00:46 -04:00
• fc5acfe9a0 Merge branch 'typed-rkt' Yiyun Liu 2025-05-12 00:59:56 -04:00
• 814d5fa73d Update the README file typed-rkt Yiyun Liu 2025-05-12 00:58:49 -04:00
• cc59960e79 Finish adding natural numbers Yiyun Liu 2025-05-12 00:48:47 -04:00
• 4f2f5b47c0 Add syntax form for ind Yiyun Liu 2025-05-11 18:28:40 -04:00
• eb4291f6a0 Add back peano numbers Yiyun Liu 2025-05-11 17:55:50 -04:00
• 212cbdbceb Implement nbe in typed racket Yiyun Liu 2025-05-10 12:36:00 -04:00
• 7bf8bdde48 Start porting to typed racket Yiyun Liu 2025-05-10 00:32:57 -04:00
• c2faa6b4b6 Update README Yiyun Liu 2025-05-05 00:46:52 -04:00
• 92e79a54d3 Finish nbe based on de bruijn levels debruijn-levels Yiyun Liu 2025-05-04 23:53:17 -04:00
• 3631f31346 Make the algorithm lazier Yiyun Liu 2025-04-30 01:35:39 -04:00
• 5f9b001531 Add natural numbers Yiyun Liu 2025-04-30 00:26:08 -04:00
• efbd7bbcd5 minor Yiyun Liu 2025-04-29 18:18:55 -04:00
• 94ac3167b9 missing space Yiyun Liu 2025-04-29 18:18:12 -04:00
• d897ccce09 Add README.md Yiyun Liu 2025-04-29 18:17:49 -04:00
• f3c2b33d57 Add church numeral test cases Yiyun Liu 2025-04-29 16:37:55 -04:00
• 4a38f95cab Add some unit test cases Yiyun Liu 2025-04-29 14:27:22 -04:00
• a9c7c078f7 initial commit Yiyun Liu 2025-04-29 01:59:11 -04:00