Logo
Explore Help
Sign in
aniva/Pantograph
aniva/Pantograph
1
1
Fork
You've already forked Pantograph
0
Code Issues 18 Pull requests 4 Projects Releases Packages Wiki Activity

v0.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 4 All
Label
Use Alt + Click 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
Relevance 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
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
fix: Incorrect binder capture
category
bug
part/Frontend
#152 by aniva was merged 2025-01-10 12:49:15 -08:00
dev
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 Forgejo Version: 12.0.1 Page: 72ms Template: 12ms
English
Bahasa Indonesia Dansk Deutsch English Español Esperanto Filipino Français Italiano Latviešu Magyar nyelv Nederlands Plattdüütsch Polski Português de Portugal Português do Brasil Slovenščina Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API