Repository navigation

Commits

Commits on Oct 10, 2024
- Cleanup.
  ashinkarov
  committed
  9024909
- Show Goal type, Inferred type and the Context wihth \.
  ashinkarov
  committed
  1e4dcb2
- Use reified names when showing context.
  ashinkarov
  committed
  ca94df3
- Add missing blackboard letters.
  ashinkarov
  committed
  595cb98
- Cleanup.
  ashinkarov
  committed
  811e474
- Don't use utf-8 filter on partial results.
  ashinkarov
  committed
  575f817
Commits on Oct 4, 2024
- Make location of floating windows precise.
  ashinkarov
  committed
  f741009
Commits on Oct 3, 2024
- Update main_win on window changes to avoid pointing to closed windows.
  ashinkarov
  committed
  893ce49
Commits on Sep 7, 2024
Commits on Mar 9, 2023
- Document debug_p in settings.
  ashinkarov
  authored
  f5f34f7
- Add debug_p as a recognised option.
  ashinkarov
  committed
  9bbee01
- Add some gui colors for Todo, NonTerminating, etc.
  ashinkarov
  committed
  e7c100b
- Add a symbol.
  ashinkarov
  committed
  7d8cf70
- Turn debugging off by default.
  ashinkarov
  committed
  758dd11
Commits on Oct 14, 2022
- Fix lagda (agda + tex) syntax file.
  ashinkarov
  committed
  382f836
- Add lower(upper)case letters.
  ashinkarov
  committed
  8000
  81b8578
Commits on Jul 15, 2022
- Add arrows, enumerate goals when printing out.
  ashinkarov
  committed
  9d5111f
Commits on May 18, 2022
- Support markdown syntax in .lagda.md by default
  ashinkarov
  committed
  4b347ab
- Hopefully fix a race condition.
  ashinkarov
  committed
  ba9c3f3
- Introduce commands to show/hide implicit arguments.
  ashinkarov
  committed
  99e0ac5
- Add more symbols.
  ashinkarov
  committed
  8a9a7ad
- Properly recognise *.lagda.md and *.lagda.
  ashinkarov
  committed
  66f1bdb
Commits on Feb 27, 2022
- Update README.md
  ashinkarov
  authored
  cc152d1
Commits on Feb 26, 2022
- Update README.
  ashinkarov
  committed
  7fe6e82
- Fix prompt windows when multiple files are opened.
  ashinkarov
  committed
  eca4710
- Add support for multiple agda files.
  ashinkarov
  committed
  8a5fd9f
Commits on Feb 17, 2022
- Add a function to show constraints.
  ashinkarov
  committed
  0d292a2
- Handle multi-line goal contents correctly.
  ashinkarov
  committed
  eb05b70
- More symbols.
  ashinkarov
  committed
  d9a2b65
Commits on Feb 12, 2022
- Mention solve constraints (#3) in README
  ashinkarov
  committed
  777cde0
- Merge pull request #3 from isovector/agda-solve
  ashinkarov
  authored
  18fa687
- Print boundaries (in cubical agda).
  ashinkarov
  committed
  21f8da6
- Do not specify custom agda location.
  ashinkarov
  committed
  d323150

Branch selector

User selector

Datepicker

Commit history

Commits on Oct 10, 2024

Commits on Oct 4, 2024

Commits on Oct 3, 2024

Commits on Sep 7, 2024

Commits on Mar 9, 2023

Commits on Oct 14, 2022

Commits on Jul 15, 2022

Commits on May 18, 2022

Commits on Feb 27, 2022

Commits on Feb 26, 2022

Commits on Feb 17, 2022

Commits on Feb 12, 2022