Default Branch

dev 4435a6459c · Merge pull request 'fix: Use in-context environment in sorry collection' (#166) from bug/collect-sorry-generated-constants into dev · Updated 2025-01-28 17:42:54 -08:00

ZIP  TAR.GZ

Branches

Search

io/async 4123792c0c · synced w/ upstream/main (0.2.24) · Updated 2025-01-13 19:14:07 -08:00    aniva	579 226	Compare	ZIP  TAR.GZ
env/inspect 4a4b02d7b0 · test: Source location extraction · Updated 2025-01-10 12:47:13 -08:00    aniva	60 0	#154 Merged	ZIP  TAR.GZ
doc/rationale f111da7de7 · doc: Add limitations · Updated 2024-12-11 15:09:14 -08:00    aniva	69 0	#145 Merged	ZIP  TAR.GZ
misc/build 1da9180473 · Merge pull request 'feat: State and environment pickling' (#120) from serial/pickle into dev · Updated 2024-11-15 23:10:33 -08:00    aniva	132 0		ZIP  TAR.GZ
parse/level 773a0afbd8 · feat: Handling of universe level names in elab · Updated 2024-06-11 12:44:42 -07:00	324 0	#79 Closed	ZIP  TAR.GZ
main 622aa7f969 · Add documentation; Remove mathlib dependency · Updated 2023-06-09 14:45:45 -07:00	549 0	Included	ZIP  TAR.GZ