summaryrefslogtreecommitdiff
path: root/demo/more
Commit message (Expand)AuthorAge
* Update demo/more for simplified implicit argumentsGravatar Adam Chlipala2011-07-06
* Fix manual mistake about '@' notations; remove obsolete demosGravatar Adam Chlipala2010-12-20
* Small tweaks to update demos for record unification changeGravatar Adam Chlipala2010-12-15
* Tweaking unification fix to apply to demo/moreGravatar Adam Chlipala2010-10-10
* Changing foldRX to mapXGravatar Adam Chlipala2010-02-28
* Make summary unification more conservative; infer implicit arguments after ap...Gravatar Adam Chlipala2009-12-26
* grid0 working in IEGravatar Adam Chlipala2009-11-22
* Saving paper decisionsGravatar Adam Chlipala2009-11-07
* Decision status placeholderGravatar Adam Chlipala2009-11-02
* Start of DecisionGravatar Adam Chlipala2009-11-02
* Seeing others' reviewsGravatar Adam Chlipala2009-11-02
* Preload current assignment statusGravatar Adam Chlipala2009-11-02
* Saving paper assignmentsGravatar Adam Chlipala2009-11-02
* Initial form for paper assignmentGravatar Adam Chlipala2009-11-01
* Bidding interfaceGravatar Adam Chlipala2009-11-01
* Start of bidding implementation compilesGravatar Adam Chlipala2009-10-31
* Extend Fuse to work on non-recursive functionsGravatar Adam Chlipala2009-10-25
* Factor Dnat into separate moduleGravatar Adam Chlipala2009-10-25
* Setting and updating your own reviewGravatar Adam Chlipala2009-10-22
* Initial support for char in SQLGravatar Adam Chlipala2009-10-22
* authorship tableGravatar Adam Chlipala2009-10-22
* Viewing papersGravatar Adam Chlipala2009-10-22
* Move stuff from bulkEdit to metaGravatar Adam Chlipala2009-10-22
* Title and abstractGravatar Adam Chlipala2009-10-22
* Checking deadline; sign-inGravatar Adam Chlipala2009-10-22
* Saving changes to user listGravatar Adam Chlipala2009-10-20
* Start of user managementGravatar Adam Chlipala2009-10-20
* Registering for Conference1Gravatar Adam Chlipala2009-10-20
* Adapted existing demos to tuple pattern-matchingGravatar Adam Chlipala2009-10-20
* Add tuple pattern-matching at the constructor levelGravatar Adam Chlipala2009-10-20
* Versioned1 demo workingGravatar Adam Chlipala2009-10-06
* SELECT DISTINCT; eta expansion during CjrizationGravatar Adam Chlipala2009-10-06
* Finalized Orm1 demoGravatar Adam Chlipala2009-10-06
* Initial Orm1 demoGravatar Adam Chlipala2009-10-06
* Fix a de Bruijn index bug in map fusionGravatar Adam Chlipala2009-10-06
* Orm searchingGravatar Adam Chlipala2009-10-05
* Basic CRUD operations in OrmGravatar Adam Chlipala2009-10-05
* Better location calculation for record unification error messages; infer kind...Gravatar Adam Chlipala2009-10-05
* Paging + filtering seemingly working, but runtime system isn't GCing signals ...Gravatar Adam Chlipala2009-09-19
* Progress on sorting + filteringGravatar Adam Chlipala2009-09-19
* Paging mostly working; just need to get it working properly with filteringGravatar Adam Chlipala2009-09-19
* Testing Dlist MaxLength with constant valueGravatar Adam Chlipala2009-09-19
* Testing Dlist StartPosition with constant offsetGravatar Adam Chlipala2009-09-19
* Grid sorting workingGravatar Adam Chlipala2009-09-19
* Hopefully fixed Jscomp bug that was breaking GridGravatar Adam Chlipala2009-09-19
* Pseudo-sort working with filtersGravatar Adam Chlipala2009-09-17
* Grid changed to use Dlist.replace; filters stopped workingGravatar Adam Chlipala2009-09-17
* Basic tail recursion introduction seems to be workingGravatar Adam Chlipala2009-09-17
* Bad sort functions testedGravatar Adam Chlipala2009-09-17
* Insert dummy Sort parameterGravatar Adam Chlipala2009-09-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-20 16:24:45 +0000