summaryrefslogtreecommitdiff
path: root/dhall/src/traits/static_type.rs (follow)
Commit message (Expand)AuthorAgeFilesLines
* Move api-related modules into an api moduleNadrieril2019-05-061-149/+0
* Reorganize dhall into a phase structureNadrieril2019-05-061-3/+3
* Remove dummy lifetimesNadrieril2019-05-041-20/+20
* rustfmtNadrieril2019-05-041-1/+1
* Rename dhall_generator to dhall_proc_macrosNadrieril2019-05-041-1/+1
* Rename dhall_core to dhall_syntaxNadrieril2019-05-041-1/+1
* Instead of possibly nonexistent Type, treat Sort speciallyNadrieril2019-05-021-5/+3
* Store Thunk in NormalizedNadrieril2019-05-021-1/+3
* TweaksNadrieril2019-05-021-1/+1
* Avoid duplicating work when matching on Pi typesNadrieril2019-04-231-0/+1
* Remove obsolete dhall_expr!() macroNadrieril2019-04-181-14/+14
* Document all of the APINadrieril2019-04-131-7/+26
* Thread lifetimes through other newtypesNadrieril2019-04-111-22/+23
* Handle untyped case differently from the type of SortNadrieril2019-04-111-1/+1
* Add basic deserialization supportNadrieril2019-04-111-0/+24
* Split traits module into submodulesNadrieril2019-04-101-0/+104
generated by cgit v1.2.3 (git 2.25.1) at 2024-07-03 10:54:30 +0000