R

rzk

Settings | Report Duplicate

0

I Use This!

Very Low Activity

Commits : Listings

Analyzed about 9 hours ago. based on code collected about 10 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Nov 18, 2024 — Nov 18, 2025 Showing page 20 of 28 Search / Filter on:
Add params and multiple restrictions	Nikolai Kudasov	More...				over 2 years ago
Allow more symbols in identifiers	Nikolai Kudasov	More...				over 2 years ago
Ignore Test executable	Nikolai Kudasov	More...				over 2 years ago
Fix typechecking for Segal-arr-in-arr	Nikolai Kudasov	More...				over 2 years ago
Update ChangeLog.md	Nikolai Kudasov	More...				over 2 years ago
Sketch changelog	Nikolai Kudasov	More...				over 2 years ago
Remove junk file	Nikolai Kudasov	More...				over 2 years ago
Some more improvements	Nikolai Kudasov	More...				over 2 years ago
Improve some of the type errors	Nikolai Kudasov	More...				over 2 years ago
Minor fixes, cleanup or errors	Nikolai Kudasov	More...				over 2 years ago
Add minor optimising changes	Nikolai Kudasov	More...				over 2 years ago
Use infoWHNF and infoNF, improve Eq for annotated terms	Nikolai Kudasov	More...				over 2 years ago
Generalize from TypedF to AnnF, to allow arbitrary annotations	Nikolai Kudasov	More...				over 2 years ago
Add verbosity levels and minor fixes	Nikolai Kudasov	More...				over 2 years ago
Try optimise nfT for cubes and topes	Nikolai Kudasov	More...				over 2 years ago
Add support for multiparameter lambda	Nikolai Kudasov	More...				over 2 years ago
Add typechecking for bare refl	Nikolai Kudasov	More...				over 2 years ago
Coerce tope families to shapes	Nikolai Kudasov	More...				over 2 years ago
Fix tope solver after something broke it	Nikolai Kudasov	More...				over 2 years ago
Cleanup whnfT and nfT a bit	Nikolai Kudasov	More...				over 2 years ago
Improve error reporting a little	Nikolai Kudasov	More...				over 2 years ago
Allow a few more symbols in identifiers	Nikolai Kudasov	More...				over 2 years ago
Ignore .DS_Store and *.bak	Nikolai Kudasov	More...				over 2 years ago
Complete first seemingly working version	Nikolai Kudasov	More...				over 2 years ago
Add tope logic solver (only basic rules)	Nikolai Kudasov	More...				over 2 years ago
Remove custom Foldable instance for TermT'	Nikolai Kudasov	More...				over 2 years ago
Make sure Foldable for TypedF ignores annotations	Nikolai Kudasov	More...				over 2 years ago
Use putStrLn instead of error to have partial output	Nikolai Kudasov	More...				over 2 years ago
Support type restrictions (except solving tope logic)	Nikolai Kudasov	More...				over 2 years ago
Support legacy syntax, patterns, Markdown	Nikolai Kudasov	More...				over 2 years ago

←
1
2
…
16
17
18
19
20
21
22
23
24
…
27
28
→