Logo
Explore Help
Sign In
aniva/Pantograph
aniva
/
Pantograph
1
1
Fork
You've already forked Pantograph
0
Code Issues 16 Pull Requests 2 Packages Projects Releases Wiki Activity

0.2.24

New Issue
  • feat(frontend): Extraction of symbol in source code position
  • fix(frontend): Divergence of behaviours between by sorry and sorry (can't triage)
  • fix(frontend): Remove type error extraction to tactic by default
2024-12-31
100% Completed
0 Open 4 Closed
Label
Use alt + click/enter to exclude labels
All labels No label
category
bug

category
chore

category
doc

category
feature

category
optimization

category
organization

part/Delation

part/Elab

part/Environment

part/FFI

part/Frontend

part/Goal

part/REPL

part/Serial

priority
high

priority
irrelevant

priority
low

priority
medium

priority
pending-measurement

Project
All projects No project
Author
All authors
Assignee
All assignees No assignee
paperNeko aniva
Sort
Newest Oldest Recently updated Least recently updated Most commented Least commented Nearest due date Farthest due date
chore: Update version
category
organization
#155 by aniva was merged 2025-01-10 17:08:19 -08:00
dev
chore/version
feat: Add source location extraction
category
feature
part/Environment
part/Frontend
#154 by aniva was merged 2025-01-10 12:47:36 -08:00
dev
env/inspect
fix: Incorrect binder capture
category
bug
part/Frontend
#152 by aniva was merged 2025-01-10 12:49:15 -08:00
dev
bug/incorrect-binder-capture
Allow LSP-like behaviour of finding definition location via symbol
category
feature
part/Frontend
1
#150 by aniva was closed 2025-01-10 12:49:46 -08:00
Powered by Gitea Version: 1.21.11 Page: 56ms Template: 10ms
English
Bahasa Indonesia Deutsch English Español Français Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API