Mark

.concopyuse

@@ -0,0 +1,5 @@
+app/*.tsx
+app/**/*.tsx
+app/**/**/*.tsx
+app/**/**/**/*.tsx
+app/**/**/**/**/*.tsx

.eslintrc.json

@@ -1,3 +1,3 @@
 {
-  "extends": "next/core-web-vitals"
+  "extends": ["next/core-web-vitals", "prettier"]
 }

.github/dependabot.yml

@@ -5,7 +5,7 @@
 
 version: 2
 updates:
-  - package-ecosystem: "npm" # See documentation for possible values
-    directory: "/" # Location of package manifests
+  - package-ecosystem: 'npm' # See documentation for possible values
+    directory: '/' # Location of package manifests
     schedule:
-      interval: "weekly"
+      interval: 'weekly'

.prettierrc

@@ -0,0 +1,7 @@
+{
+  "trailingComma": "es5",
+  "semi": true,
+  "tabWidth": 2,
+  "singleQuote": true,
+  "jsxSingleQuote": true
+}

.vscode/settings.json

@@ -0,0 +1,3 @@
+{
+  "editor.formatOnSave": true
+}

app/basic-propositional-logic/page.tsx

@@ -1,36 +1,19 @@
-import { Sidebar } from '@/components/sidebar';
-import TopicTable from '@/components/topicTable';
+import { Sidebar } from "@/components/sidebar";
+import TopicTable from "@/components/topicTable";
 
 export const metadata = {
-  title: 'Logicola | Basic Propositional Logic',
+  title: "Logicola | Basic Propositional Logic",
   description:
-    'Basic Propositional Logic exercises. Translating from natural language to symbolic form. LogiCola is a program to help students learn logic.',
-  creator: 'Malik Piara',
-  keywords: [
-    'logic',
-    'propositional logic',
-    'introduction to logic',
-    'basic propositional logic',
-    'propositional logic translations',
-    'download logicola',
-  ],
-  publisher: 'Malik Piara',
-  openGraph: {
-    images: '/malik_mini.jpeg',
-    authors: ['Malik'],
-  },
-  icons: {
-    icon: '/next.svg',
-  },
+    "Basic Propositional Logic exercises. Translating from natural language to symbolic form. LogiCola is a program to help students learn logic.",
 };
 
 export default function BasicPropositionalLogic() {
   return (
     <>
-      <div className='flex w-full h-screen overflow-scroll'>
+      <div className="flex w-full h-screen overflow-scroll">
         <Sidebar />
-        <div className='p-4 w-full'>
-          <h1 className='mb-6 text-3xl font-bold text-gray-900'>
+        <div className="p-4 w-full">
+          <h1 className="mb-6 text-3xl font-bold text-gray-900">
             Chapter 6: Basic Propositional Logic
           </h1>
           <TopicTable />

app/globals.css

@@ -3,16 +3,16 @@
 @tailwind utilities;
 
 .animate-in {
-    animation: animateIn 0.3s ease 0.15s both;
+  animation: animateIn 0.3s ease 0.15s both;
+}
+
+@keyframes animateIn {
+  from {
+    opacity: 0;
+    transform: translateY(10px);
+  }
+  to {
+    opacity: 1;
+    transform: translateY(0);
   }
-
-  @keyframes animateIn {
-    from {
-      opacity: 0;
-      transform: translateY(10px);
-    }
-    to {
-      opacity: 1;
-      transform: translateY(0);
-    }
-  }
+}

app/informal/page.tsx

@@ -1,36 +1,19 @@
-import { Sidebar } from '@/components/sidebar';
-import TopicTable from '@/components/topicTable';
+import { Sidebar } from "@/components/sidebar";
+import TopicTable from "@/components/topicTable";
 
 export const metadata = {
-  title: 'Logicola | Informal Logic',
+  title: "Logicola | Informal Logic",
   description:
-    'Basic Propositional Logic exercises. Translating from natural language to symbolic form. LogiCola is a program to help students learn logic.',
-  creator: 'Malik Piara',
-  keywords: [
-    'logic',
-    'propositional logic',
-    'introduction to logic',
-    'basic propositional logic',
-    'propositional logic translations',
-    'download logicola',
-  ],
-  publisher: 'Malik Piara',
-  openGraph: {
-    images: '/malik_mini.jpeg',
-    authors: ['Malik'],
-  },
-  icons: {
-    icon: '/next.svg',
-  },
+    "Informal Logic exercises. Translating from natural language to symbolic form. LogiCola is a program to help students learn logic.",
 };
 
 export default function BasicPropositionalLogic() {
   return (
     <>
-      <div className='flex w-full h-screen overflow-scroll'>
+      <div className="flex w-full h-screen overflow-scroll">
         <Sidebar />
-        <div className='p-4 w-full'>
-          <h1 className='mb-6 text-3xl font-bold text-gray-900'>
+        <div className="p-4 w-full">
+          <h1 className="mb-6 text-3xl font-bold text-gray-900">
             Chapter 3: Informal Logic
           </h1>
           {/* <TopicTable /> */}

components/NoSSR/index.tsx

@@ -1,5 +1,5 @@
-import dynamic from "next/dynamic";
-import React from "react";
+import dynamic from 'next/dynamic';
+import React from 'react';
 
 const NoSSR = (props: any) => <React.Fragment>{props.children}</React.Fragment>;
 

next.config.mjs

@@ -2,7 +2,7 @@
  * @type {import('next').NextConfig}
  */
 const nextConfig = {
-    reactStrictMode: false
+  reactStrictMode: false,
 };
 
-export default nextConfig;
+export default nextConfig;